Select Git revision
getColDualCLP.Rd
-
Mayo Roettger authored
maintainer change version 1.2.9; added documentation files; changed return value in C function getHitMaximumIterations
Mayo Roettger authoredmaintainer change version 1.2.9; added documentation files; changed return value in C function getHitMaximumIterations
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
VisB-Examples.prob2project 15.13 KiB
{
"name": "VisB-Examples",
"description": "",
"machines": [
{
"name": "button",
"description": "",
"location": "Button/button.mch",
"lastUsedPreferenceName": "default",
"requirements": [],
"ltlFormulas": [],
"ltlPatterns": [],
"symbolicCheckingFormulas": [
{
"type": "INVARIANT",
"code": "",
"selected": true
},
{
"type": "SYMBOLIC_MODEL_CHECK",
"code": "BMC",
"selected": true
}
],
"symbolicAnimationFormulas": [],
"simulationItems": [],
"testCases": [],
"traces": [],
"modelcheckingItems": [],
"simulation": null,
"visBVisualisation": "Button/button.json",
"historyChartItems": []
},
{
"name": "QueensWithEvents",
"description": "",
"location": "N-Queens/QueensWithEvents.mch",
"lastUsedPreferenceName": "default",
"requirements": [],
"ltlFormulas": [],
"ltlPatterns": [],
"symbolicCheckingFormulas": [
{
"type": "SYMBOLIC_MODEL_CHECK",
"code": "BMC",
"selected": true
},
{
"type": "INVARIANT",
"code": "",
"selected": true
},
{
"type": "INVARIANT",
"code": "SetQueen",
"selected": true
}
],
"symbolicAnimationFormulas": [],
"simulationItems": [],
"testCases": [],
"traces": [
"traces/QueensWithEvents.prob2trace"
],
"modelcheckingItems": [],
"simulation": null,
"visBVisualisation": "N-Queens/queens_8.json",
"historyChartItems": []
},
{