fpsimd.cfg


1
2
3
4
5
6
7
8
9
10
11
12

CONSTANT defaultInitValue = defaultInitValue
\* Add statements after this line.
SPECIFICATION	OSSpec

CONSTANTS	CPUS = {p1}
		THREADS = {t1, t2}
		VALS = {v1, v2}

SYMMETRY	Perms

INVARIANTS	TypeInv
		SchedInv