Can Manticore supports converting test case data to .js/.sol test files? #1716
Unanswered
leochenseu
asked this question in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
After code exploration, Manticore can give lots of test case data. The current method I utilize these data is writing .js files by hand and fill the function arguments from these data.
I suppose if there exist API to convert these raw test case data to test files, it would save much time on redundant work.
So my question is whether Manticore has such API or could anyone tell me whther there are any other methods to utilize these test cases better?
Beta Was this translation helpful? Give feedback.
All reactions