Skip to content

Commit 35bd987

Browse files
nikola-maticnikola-matic
authored
Merge pull request #15689 from DaniPopes/long-paths
Reduce some file system paths' lengths
2 parents 8b62948 + d90acc1 commit 35bd987

File tree

2 files changed

+0
-59
lines changed
  • test/cmdlineTests/standard_model_checker_show_unsupported_false_all_engines/standard_model_checker_show_unsupported_false_all_enginesstandard_model_checker_show_unsupported_false_bmc

2 files changed

+0
-59
lines changed

‎test/cmdlineTests/standard_model_checker_show_unsupported_false_all_engines/standard_model_checker_show_unsupported_false_all_enginesstandard_model_checker_show_unsupported_false_bmc/input.json

Lines changed: 0 additions & 27 deletions
This file was deleted.

‎test/cmdlineTests/standard_model_checker_show_unsupported_false_all_engines/standard_model_checker_show_unsupported_false_all_enginesstandard_model_checker_show_unsupported_false_bmc/output.json

Lines changed: 0 additions & 32 deletions
This file was deleted.

0 commit comments

Comments
 (0)