From 4fe7fce97aedbd516109ef81afc33e00112b7b68 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 28 Aug 2020 18:58:37 +0200 Subject: Must unit propagation --- .../vql-gen/modes3/queries/.gitignore | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/.gitignore') diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/.gitignore b/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/.gitignore index e3a0ad7e..b3e38571 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/.gitignore +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/.gitignore @@ -24,3 +24,10 @@ /.ExtraInputOfTurnout.java._trace /.NoExtraInputOfTurnout.java._trace /.TooManyExtraInputsOfTurnout.java._trace +/.TooManyInputsOfTurnout.java._trace +/.NonDivergentInputOfTurnout.java._trace +/.NonStraightInputOfTurnout.java._trace +/.TooManyNonDivergentInputsOfTurnout.java._trace +/.TooManyNonStraightInputsOfTurnout.java._trace +/.InputsOfTurnout.java._trace +/.TooFewInputsOfTurnout.java._trace -- cgit v1.2.3-70-g09d2