69 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	047ed7a08b	Update parser tests	2022-10-05 16:54:50 -07:00
Mazdak Farrokhzad	ddbf2ae849	1. Speed up string literal lexing. ... 2. Move address check to parser. 3. Move assignment place WF check to type checker.	2022-06-21 17:07:44 +02:00
gluax	9638a695aa	fix more bugs, add type checking	2022-06-01 11:16:00 -07:00
collin	8d79193474	merge testnet3	2022-05-25 14:02:10 -04:00
collin	b8780e888d	merge testnet3	2022-05-20 10:39:21 -04:00
Alessandro Coglio	560ea590a9	[tests] Change category of the 0x tests	2022-05-19 20:31:05 -07:00
Mazdak Farrokhzad	882f2e5454	remove char type + literals	2022-05-18 14:33:04 +02:00
0rphon	38fa7a9608	added more tests/generated expectations for the ones that pass	2022-05-15 21:53:28 -07:00
Collin Chin	98cd7e91aa	Merge pull request #1813 from AleoHQ/move-field-test ... [tests] Move failing test to new fail.	2022-05-13 09:41:59 -07:00
Alessandro Coglio	f502b9c5e9	[tests] Move failing test to new fail. ... Instead of commenting out this failing test, it seem better to add to a new file for failing tests. If and when we change Leo to accept field literals in hex, we can move the test from the Fail file to the Pass fail. This also helps the ACL2 tester, which is currently not handling comment-out tests of this form.	2022-05-12 14:04:22 -07:00
Alessandro Coglio	20a081da37	[tests] Fix format and expectation of a test. ... This was apparently disabled, but it did not start with a block comment. This commit fixes it to start with a block comment as required. This commit also makes it a failing test, which is appropriate because in the current version of Leo we do not allow untyped literals (i.e. lone numerals as expressions), and it is thus a good negative test for the current version of Leo. When we extend Leo to allow untyped literals, we can simply flip the expectation of this test from Fail to Pass.	2022-05-11 21:16:41 -07:00
gluax	a7c3696e90	merge testnet3 into required types, also remove identifier type	2022-05-02 19:43:46 -07:00
Collin Chin	23fca6af47	Merge pull request #1751 from AleoHQ/abnf-bidi-overrides ... [ABNF] disallow bidi override codepoints	2022-04-20 09:34:00 -07:00
Eric McCarthy	3227930df9	[lexer] add fail tests for bidi overrides	2022-04-19 13:16:09 -07:00
collin	f53817c5f5	implement real address literal check	2022-04-13 15:21:08 -07:00
gluax	95d508566f	remove circuit access	2022-03-28 07:54:29 -07:00
gluax	401c6a6d4d	remove annotation and static access	2022-03-28 07:04:29 -07:00
gluax	398e6f5469	merge upstream testnet3	2022-03-28 06:21:17 -07:00
gluax	4f62c86b39	test open bugs, they all pass :)	2022-03-17 10:46:42 -07:00
0rphon	d25eb79594	improved test runner	2022-03-15 16:56:54 -07:00
0rphon	0e1d1a43e9	removed tools/failing tests	2022-03-15 15:38:06 -07:00
0rphon	310944acc5	excluded failing tests, added new ones	2022-03-14 17:37:15 -07:00
0rphon	a9ed6dcc81	Update char.leo	2022-03-14 16:36:36 -07:00
0rphon	7c049177cb	Merge branch 'testnet3' into improve-parser-tests	2022-03-14 16:36:16 -07:00
0rphon	1604f10115	re-enabled tests, removed fuzzing hooks	2022-03-14 16:29:34 -07:00
0rphon	3c258bf3a4	code cleanup, added tests, marked dangerous code for review	2022-03-09 15:16:52 -08:00
gluax	377c65be21	fix issues from fixing a panic	2022-03-09 12:08:15 -08:00
gluax	a227e7c113	add tests, fix namespaces on older tests, fix another bug	2022-03-09 11:11:30 -08:00
gluax	eaf0a82154	merge testnet3	2022-03-08 10:24:36 -08:00
gluax	9d088ea152	remove implicit ints in tests	2022-03-08 10:20:05 -08:00
0rphon	9afee5e328	updated tests	2022-03-08 01:01:30 -08:00
0rphon	39ea7a3ceb	Merge branch 'testnet3' into improve-parser-tests	2022-03-08 00:57:32 -08:00
gluax	789862103e	another char bug fix	2022-03-04 11:18:28 -08:00
gluax	308512fab9	add tests	2022-03-04 10:26:34 -08:00
0rphon	7d2cbb2ec2	done with coverage ... finished coverage tests. adding case by case tests from the parser fuzzer next	2022-03-02 14:13:37 -08:00
0rphon	cc71ed2d07	emoji tests	2022-02-25 17:21:41 -08:00
0rphon	6f9ffcedf2	more edge cases	2022-02-23 17:24:51 -08:00
0rphon	c6926ef1fa	Merge remote-tracking branch 'origin/testnet3' into improve-parser-tests	2022-02-23 15:07:49 -08:00
gluax	122315db3d	fix test	2022-02-18 15:37:49 -08:00
0rphon	c767907b25	removed more dead lexer code	2022-02-18 16:29:24 -07:00
0rphon	938f1fdbc1	removed dead code from lexer	2022-02-18 15:49:39 -07:00
gluax	57bc95879d	pull upstream testnet2 resolve conflicts	2022-02-01 13:30:03 -08:00
gluax	2bb1d8f8d6	migrate parser tests from staging	2022-01-28 10:34:02 -08:00
collin	22b16a0bcb	regenerate all tests	2022-01-25 16:17:36 -08:00
gluaxspeed	a9593971b9	format string and grammar changes	2021-07-20 14:52:35 -07:00
gluax	debaf9cd61	more byte failing tests	2021-06-11 10:05:08 -07:00
gluax	5b4cc494c1	fix parser bug allowing illegal unicode escape	2021-06-10 10:59:35 -07:00
gluax	d6266102c3	more tests, hex fix	2021-06-09 15:54:05 -07:00
damirka	ecff3d6f2b	fixes #995	2021-06-02 14:53:32 +03:00
gluax	bdcf7ce944	resolve direct unicode in a string	2021-05-25 13:49:26 -04:00