10 Commits

Author	SHA1	Message	Date
Esben Sparre Andreasen	ddb545c182	JS: introduce MembershipTests.qll and use in two locations	2020-05-18 09:50:00 +02:00
Erik Krogh Kristensen	1ece6b9afe	update expected output of tests	2020-02-07 12:57:51 +01:00
Erik Krogh Kristensen	2865723059	add test for new barrier	2020-02-06 15:44:33 +01:00
Asger F	4d25bfc038	JS: Fix copy pasta	2020-01-06 11:37:21 +00:00
Asger F	142c83f38f	JS: Add negative dominance test	2020-01-06 11:37:21 +00:00
Asger F	0b04f0d8f7	JS: Add test case for phi input	2020-01-06 11:37:20 +00:00
Asger F	f48d16fcb7	JS: Support barrier guards that are reflective calls	2019-11-01 15:23:38 +00:00
Asger F	107ec3b687	JS: add test with self=this variable	2019-01-18 10:39:02 +00:00
Asger F	78bd76048a	JS: add test with closures	2019-01-18 10:39:02 +00:00
Asger F	0bb6692c19	JS: add 'this' as possible access path root	2019-01-18 10:39:02 +00:00