Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Generate unit test line by line (for --inplace) #2213

Merged
merged 22 commits into from
Mar 2, 2023
Merged

Generate unit test line by line (for --inplace) #2213

Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
323a025
Generate unit test, line by line
jaisnan Feb 16, 2023
23b92d0
Remove tempfile crate because it crashes cargo audit
jaisnan Feb 17, 2023
a71f204
Add formatting
jaisnan Feb 17, 2023
362fb14
Remove temp files when there is a unit test present already
jaisnan Feb 20, 2023
6790b0c
Merge branch 'main' into Generate-test-by-line
jaisnan Feb 20, 2023
0c3bbe9
Add tempfile struct
jaisnan Feb 22, 2023
ff6d7fd
Add error handling
jaisnan Feb 22, 2023
0616fa8
add source file path to expect
jaisnan Feb 23, 2023
7e855af
Merge branch 'Generate-test-by-line' of https://github.com/jaisnan/ka…
jaisnan Feb 23, 2023
332c57e
Merge branch 'main' into Generate-test-by-line
jaisnan Feb 23, 2023
ad56cb1
fix formatting CI error
jaisnan Feb 23, 2023
ab65607
Merge branch 'Generate-test-by-line' of https://github.com/jaisnan/ka…
jaisnan Feb 23, 2023
d7cbfc9
Merge branch 'main' into Generate-test-by-line
jaisnan Feb 23, 2023
ba2b156
Merge branch 'main' of https://github.com/model-checking/kani into Ge…
jaisnan Feb 27, 2023
fa36a2a
add rename and drop impl to a tempfile struct
jaisnan Feb 28, 2023
c92133e
remove explicit drop calls
jaisnan Feb 28, 2023
8c1354a
Merge branch 'Generate-test-by-line' of https://github.com/jaisnan/ka…
jaisnan Feb 28, 2023
cf0a1f5
Add warnings and reformat try_new()
jaisnan Feb 28, 2023
b7fbf5e
Merge branch 'main' into Generate-test-by-line
jaisnan Feb 28, 2023
631a48e
Merge branch 'main' into Generate-test-by-line
jaisnan Mar 1, 2023
f3eae97
Merge branch 'main' of https://github.com/model-checking/kani into Ge…
jaisnan Mar 2, 2023
ffcc83e
Merge branch 'Generate-test-by-line' of https://github.com/jaisnan/ka…
jaisnan Mar 2, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into Generate-test-by-line
  • Loading branch information
@jaisnan
jaisnan authored Mar 1, 2023
commit 631a48e27e298b68c95924ef2b70e7331882d0e6

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.