-
Notifications
You must be signed in to change notification settings - Fork 167
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.
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
Fix_compilation_of_stwo_exclusive_programs_in_makefile #1963
base: main
Are you sure you want to change the base?
Fix_compilation_of_stwo_exclusive_programs_in_makefile #1963
Conversation
|
Benchmark Results for unmodified programs 🚀
|
34830c8
to
8dd8838
Compare
82e58dc
to
ada839d
Compare
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #1963 +/- ##
==========================================
+ Coverage 96.39% 96.41% +0.02%
==========================================
Files 102 102
Lines 41566 41861 +295
==========================================
+ Hits 40068 40362 +294
- Misses 1498 1499 +1 ☔ View full report in Codecov by Sentry. |
ada839d
to
1f4429c
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi @YairVaknin-starkware, I realized the .json files from the stwo programs are not being deleted when doin make clean
. This line under the clean
receipt should do the trick:
rm -f $(STWO_EXCLUSIVE_DIR)/%.json
1f4429c
to
e6936c2
Compare
Hi, |
TITLE
Fix Compilation of Stwo Exclusive Programs in Makefile
Description
Ensures programs in stwo_exclusive_programs dir are compiled by 'make test`.
Checklist