Skip to content

Commit d90acc1

Browse files
DaniPopesnikola-matic
DaniPopes
authored and
nikola-matic
committed
Reduce some file system paths' lengths
1 parent 7b5f4ab commit d90acc1

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)