about summary refs log tree commit diff
path: root/tests/dependencies.builder0.sh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-06-28T13·51+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-06-28T13·51+0000
commit4d2946c516aefd26daec8b2f4c4248e43ce85a62 (patch)
treeee9939325dbee6ef039ed9acc035a724bf34ada4 /tests/dependencies.builder0.sh
parent24286e15c9822833c39d268e521522b9933db28e (diff)
* In a realisation goal, check the result of the corresponding
  normalisation goal.

Diffstat (limited to 'tests/dependencies.builder0.sh')
0 files changed, 0 insertions, 0 deletions