Home
last modified time | relevance | path

Searched refs:cs_nowdba (Results 1 – 2 of 2) sorted by relevance

/dports/math/spot/spot-2.10.2/tests/core/
H A Dikwiad.cc304 bool cs_nowdba = true; in checked_main() local
730 cs_nowdba = false; in checked_main()
734 cs_nowdba = false; in checked_main()
744 cs_nowdba = true; in checked_main()
932 cs_nowdba, cs_nosimul, cs_early_start, in checked_main()
/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dikwiad.cc304 bool cs_nowdba = true; in checked_main() local
730 cs_nowdba = false; in checked_main()
734 cs_nowdba = false; in checked_main()
744 cs_nowdba = true; in checked_main()
932 cs_nowdba, cs_nosimul, cs_early_start, in checked_main()