-
- Downloads
Convert line endings from CRLF to LF
Except for gradlew.bat, which needs to have CRLF line endings, because cmd.exe doesn't understand LF.
Showing
- src/test/resources/MCTests/CarTalkPuzzle/CarTalkPuzzle.tla 158 additions, 158 deletionssrc/test/resources/MCTests/CarTalkPuzzle/CarTalkPuzzle.tla
- src/test/resources/MCTests/CarTalkPuzzle/MC.out 25 additions, 25 deletionssrc/test/resources/MCTests/CarTalkPuzzle/MC.out
- src/test/resources/MCTests/CarTalkPuzzle/MC.tla 4 additions, 4 deletionssrc/test/resources/MCTests/CarTalkPuzzle/MC.tla
- src/test/resources/MCTests/CarTalkPuzzle/MC_TE.out 25 additions, 25 deletionssrc/test/resources/MCTests/CarTalkPuzzle/MC_TE.out
- src/test/resources/MCTests/CarTalkPuzzle/Model2/CarTalkPuzzle.tla 158 additions, 158 deletions.../resources/MCTests/CarTalkPuzzle/Model2/CarTalkPuzzle.tla
- src/test/resources/MCTests/CarTalkPuzzle/Model2/MC.out 25 additions, 25 deletionssrc/test/resources/MCTests/CarTalkPuzzle/Model2/MC.out
- src/test/resources/MCTests/CarTalkPuzzle/Model2/MC.tla 2 additions, 2 deletionssrc/test/resources/MCTests/CarTalkPuzzle/Model2/MC.tla
- src/test/resources/MCTests/CarTalkPuzzle/Model2/MC_TE.out 25 additions, 25 deletionssrc/test/resources/MCTests/CarTalkPuzzle/Model2/MC_TE.out
- src/test/resources/MCTests/DieHard/DieHard.tla 136 additions, 136 deletionssrc/test/resources/MCTests/DieHard/DieHard.tla
- src/test/resources/MCTests/DieHarder/DieHarder.tla 93 additions, 93 deletionssrc/test/resources/MCTests/DieHarder/DieHarder.tla
- src/test/resources/MCTests/DieHarder/MCDieHarder.cfg 7 additions, 7 deletionssrc/test/resources/MCTests/DieHarder/MCDieHarder.cfg
- src/test/resources/MCTests/DieHarder/MCDieHarder.tla 20 additions, 20 deletionssrc/test/resources/MCTests/DieHarder/MCDieHarder.tla
- src/test/resources/MCTests/MCDieHarder/DieHarder.tla 93 additions, 93 deletionssrc/test/resources/MCTests/MCDieHarder/DieHarder.tla
- src/test/resources/MCTests/MCDieHarder/MCDieHarder.cfg 7 additions, 7 deletionssrc/test/resources/MCTests/MCDieHarder/MCDieHarder.cfg
- src/test/resources/MCTests/MCDieHarder/MCDieHarder.tla 20 additions, 20 deletionssrc/test/resources/MCTests/MCDieHarder/MCDieHarder.tla
- src/test/resources/examples/instance/Counter/InstanceDefinition.mch 12 additions, 12 deletions...esources/examples/instance/Counter/InstanceDefinition.mch
- src/test/resources/examples/instance/Counter/InstanceDefinition.tla 4 additions, 4 deletions...esources/examples/instance/Counter/InstanceDefinition.tla
- src/test/resources/examples/instance/Counter/InstanceNoName.mch 17 additions, 17 deletions...st/resources/examples/instance/Counter/InstanceNoName.mch
- src/test/resources/examples/instance/Counter/InstanceNoName.tla 5 additions, 5 deletions...st/resources/examples/instance/Counter/InstanceNoName.tla
- src/test/resources/examples/instance/Counter/ModConstantAssignment.cfg 2 additions, 2 deletions...urces/examples/instance/Counter/ModConstantAssignment.cfg
Loading
Please register or sign in to comment