summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fix misleading diagnostics in test case program.halt3-1.3Kaz Kylheku2015-01-141-4/+6
| | | | | | | In cases where the decider is wrong, TRUE and FALSE are not both viable answers for a specific test case, but rather for the class of test cases which share the same error_decider.
* Stand-alone decider.halt3-1.2Kaz Kylheku2015-01-131-0/+46
| | | | | | | | Generate an additional program which wraps just the decider in a simple driver main which lets the program be run independently, with both its inputs specified through the command line. The result of the decider is reported to standard output.
* Tightening the compilation.halt3-1.1Kaz Kylheku2015-01-131-1/+6
| | | | | - Provide prototypes for the deciders, so they are diagnosed if incorrect. - Add some compiler language and diagnostic options.
* The input to the test case should be .c source.Kaz Kylheku2015-01-131-2/+2
|
* Initial revision.halt3-1.0Kaz Kylheku2015-01-135-0/+152