summaryrefslogtreecommitdiff log msg author committer range path: root/data/property/test.problob: 9d2115c1e99bfe3d0bb537d29fd4b26b7542e7c3 (plain) 1 2 3 4 5 6 7 8 9 #require "simple_flip_flop" #require "combinational_processes" (tag_existing ( (ps process SUSPICIOUS_PROCESS) ) (_combinational_processes ps) )