PyBoolNet (hompage: github.com/hklarner) Code

Brought to you by: hannesklarner

• Summary
• Files
• Reviews
• Support
• Tickets
• Code
• Discussion

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r82]  Maximize  Restore  History

files for unittests

Authored by: hannesklarner 2015-07-15

Browse code at this revision

Parent: [r81]

Child: [r83]

added	/Tests/Files/Input/attractordetection_not_complete.bnet
added	/Tests/Files/Input/attractordetection_not_faithful.bnet
added	/Tests/Files/Input/attractordetection_not_univocal.bnet
added	/Tests/Files/Input/empty.smv~
added	/Tests/Files/Input/failure_criterion.bnet
added	/Tests/Files/Input/fileexchange_constants.bnet
added	/Tests/Files/Input/fileexchange_empty.bnet
added	/Tests/Files/Input/fileexchange_feedback.bnet
added	/Tests/Files/Input/fileexchange_missing_inputs.bnet
added	/Tests/Files/Input/fileexchange_missing_inputs.primes
added	/Tests/Files/Input/interactiongraphs_irma.primes
added	/Tests/Files/Input/interactiongraphs_topology.bnet
added	/Tests/Files/Input/interactiongraphs_topology.dot
added	/Tests/Files/Input/interactiongraphs_topology.primes
added	/Tests/Files/Input/nusmv_empty.smv
added	/Tests/Files/Input/trapspaces_posfeedback.bnet
added	/Tests/Files/Input/trapspaces_posfeedback.primes
added	/Tests/Files/Input/trapspaces_tsfree.bnet
added	/Tests/Files/Input/trapspaces_tsfree.primes

/Tests/Files/Input/attractordetection_not_complete.bnet Diff Switch to side-by-side view

/Tests/Files/Input/attractordetection_not_faithful.bnet Diff Switch to side-by-side view

/Tests/Files/Input/attractordetection_not_univocal.bnet Diff Switch to side-by-side view

/Tests/Files/Input/empty.smv~ Diff Switch to side-by-side view

/Tests/Files/Input/failure_criterion.bnet Diff Switch to side-by-side view

/Tests/Files/Input/fileexchange_constants.bnet Diff Switch to side-by-side view

/Tests/Files/Input/fileexchange_empty.bnet Diff Switch to side-by-side view

/Tests/Files/Input/fileexchange_feedback.bnet Diff Switch to side-by-side view

/Tests/Files/Input/fileexchange_missing_inputs.bnet Diff Switch to side-by-side view

/Tests/Files/Input/fileexchange_missing_inputs.primes Diff Switch to side-by-side view

/Tests/Files/Input/interactiongraphs_irma.primes Diff Switch to side-by-side view

/Tests/Files/Input/interactiongraphs_topology.bnet Diff Switch to side-by-side view

/Tests/Files/Input/interactiongraphs_topology.dot Diff Switch to side-by-side view

/Tests/Files/Input/interactiongraphs_topology.primes Diff Switch to side-by-side view

/Tests/Files/Input/nusmv_empty.smv

Binary file was added.

/Tests/Files/Input/trapspaces_posfeedback.bnet Diff Switch to side-by-side view

/Tests/Files/Input/trapspaces_posfeedback.primes Diff Switch to side-by-side view

/Tests/Files/Input/trapspaces_tsfree.bnet Diff Switch to side-by-side view

/Tests/Files/Input/trapspaces_tsfree.primes Diff Switch to side-by-side view