Project

General

Profile

Bug #61

lustret error

Added by Hamza Bourbouh over 3 years ago. Updated 11 days ago.

Status:
Closed
Priority:
High
Category:
-
Start date:
01/18/2018
Due date:
% Done:

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

safe_1_PP.lus (848 Bytes) Hamza Bourbouh, 01/18/2018 02:08 AM

History

#1 Updated by Pierre-Loïc Garoche over 3 years ago

Comment

Solved by 5d5139a5e1821

#2 Updated by Pierre-Loïc Garoche over 3 years ago

  • Status changed from New to Resolved

#3 Updated by Pierre-Loïc Garoche over 3 years ago

  • Status changed from Resolved to Closed

#4 Updated by Anonymous about 1 month ago

Comment

Caution: An thesis announcement are seen at the paragraph, and has to incorporate a overview and also investigation within their essay's purpose or attention.
https://ahmeedproperties.com.ng/what-are-the-2-main-types-of-research/
https://cahaya99.my.id/blog/2021/04/28/is-abstract-painting-easy/
https://fishercomic.com/open-mike-on-buy-personal-statement-online/

#5 Updated by Anonymous 11 days ago

Comment

An anecdote is a quick scene or narrative shot from adventure. Anecdotes might be helpful for establishing the platform for a language or essay that is individual. An anecdote relays a narrative which may function like lesson or a theme.
http://neepsendarchitectural.co.uk/21-new-age-ways-to-complete-coursework-for-me/
https://www.talkthatheals.com/the-truth-about-how-to-conclude-an-essay-in-3-minutes/
https://wallfnadlln.com/2021/05/19/10-step-checklist-for-business-plan-writers-in-us/

Also available in: Atom PDF