progs/tests/osx-bsd-critical.txt
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 07 Feb 2022 01:12:36 +0000 (2022-02-07)
changeset 419 6de6bc551a8b
parent 195 c2d36c3cf8ad
permissions -rw-r--r--
merged
1	(()|.)(b)	ab	(0,2)(0,1)(1,2)
-1	(()|.)(b)	ab	(0,2)(0,1)(1,2)
#2	(()|[ab])(b)	ab	(0,2)(0,1)(?,?)(1,2)
#-2	(()|[ab])(b)	ab	(1,2)(1,1)(1,1)(1,2)
#3	(()|[ab])+b	aaab	(0,4)(2,3)(?,?)
#-3	(()|[ab])+b	aaab	(3,4)(3,3)(3,3)
11	(.|())(b)	ab	(0,2)(0,1)(1,2)
#12	([ab]|())(b)	ab	(0,2)(0,1)(?,?)(1,2)
#14	([ab]|())+b	aaab	(0,4)(2,3)(?,?)
#-14	([ab]|())+b	aaab	(0,4)(3,3)(3,3)
20	(.?)(b)	ab	(0,2)(0,1)(1,2)