aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 10 Pull Requests 2 Packages Projects Releases Wiki Activity

chore: Version 0.3 #136

Open
aniva wants to merge 600 commits from dev into main
pull from: dev
merge into: aniva:main
Conversation 0 Commits 600 Files Changed 47 +4
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit ef165b7045 - Show all commits

4
Test/Integration.lean
View File

@ -173,6 +173,8 @@ def test_frontend_process : Test :=
[
("file", .str file),
("invocations", .bool true),
("readHeader", .bool false),
("inheritEnv", .bool false),
("sorrys", .bool false),
("typeErrorsAsGoals", .bool false),
("newConstants", .bool false),
@ -214,6 +216,8 @@ def test_frontend_process_sorry : Test :=
step "frontend.process"
[
("file", .str file),
("readHeader", .bool false),
("inheritEnv", .bool false),
("invocations", .bool false),
("sorrys", .bool true),
("typeErrorsAsGoals", .bool false),