package electrod
Formal analysis for the Electrod formal pivot language
Install
Dune Dependency
Authors
Maintainers
Sources
electrod-0.3.2.tbz
sha256=c58502de17f5b8d739963b5b5d7c761883305bc2b6464fc37769aae4bb31a28c
sha512=bc15032cbda06b0eb64d55cc7800d6c992c0823bb86609ddc5e56744fd0c76ea25b4f4ad7cafdee6fcaa2f109e48ca99f4270919f9a2ea4c7bf53f30b0ee3677
doc/src/electrod.libelectrod/Scripts.ml.html
Source file Scripts.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
let nuXmv_default_script = {| set default_trace_plugin 1; set on_failure_script_quits 1; read_model; flatten_hierarchy; build_flat_model; encode_variables; build_boolean_model; check_ltlspec_ic3; quit -x |} let nuSMV_default_script = {| set default_trace_plugin 1; set on_failure_script_quits 1; read_model; flatten_hierarchy; encode_variables; build_model; check_ltlspec; quit -x |} let nuXmv_default_bmc_script = {| set default_trace_plugin 1; set on_failure_script_quits 1; go_bmc; check_ltlspec_bmc_inc; quit -x |} let nuSMV_default_bmc_script = {| set default_trace_plugin 1; set on_failure_script_quits 1; go_bmc; check_ltlspec_bmc_inc; quit -x |}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>