Bug #61
lustret error
0%
Description
/Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/lustrec/bin/lustret -I /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/lustrec/include/lustrec -nb-mutants 1000 -node safe_1_PP -d /Users/hbourbou/Documents/babelfish/cocosim2/test/properties/lustre_files/src_safe_1_PP/safe_1_PP_mutants /Users/hbourbou/Documents/babelfish/cocosim2/test/properties/lustre_files/src_safe_1_PP/safe_1_PP.lus
.. parsing source file /Users/hbourbou/Documents/babelfish/cocosim2/test/properties/lustre_files/src_safe_1_PP/safe_1_PP.lus
.. expanding automata
.. extracting dependencies
.. checking stateless/stateful status
.. typing
.. clock calculus
.. generating compiled header file /Users/hbourbou/Documents/babelfish/cocosim2/test/properties/lustre_files/src_safe_1_PP/safe_1_PP_mutants/safe_1_PP.lusic
.. normalization
.. keeping floating-point numbers
Only 7 mutants directives generated out of 1000 expected
Raised at file "pervasives.ml", line 30, characters 22-33
Called from file "list.ml", line 89, characters 16-37
Called from file "list.ml", line 89, characters 16-37
Called from file "list.ml", line 55, characters 20-23
Called from file "arg.ml", line 207, characters 11-20
Called from file "arg.ml", line 214, characters 2-73
Fatal error: exception Failure("nth")
Raised at file "pervasives.ml", line 30, characters 22-33
Called from file "list.ml", line 89, characters 16-37
Called from file "list.ml", line 89, characters 16-37
Called from file "list.ml", line 55, characters 20-23
Called from file "arg.ml", line 207, characters 11-20
Called from file "arg.ml", line 214, characters 2-73
History
#1 Updated by Pierre-Loïc Garoche about 3 years ago
#2 Updated by Pierre-Loïc Garoche about 3 years ago
- Status changed from New to Resolved
#3 Updated by Pierre-Loïc Garoche about 3 years ago
- Status changed from Resolved to Closed