Commit Graph
8 Commits
Author SHA1 Message Date
Matías Aereal Aeón 4b20708c49 cmake flags to make solvers optional. Implementation of #4651 2018-08-08 12:43:57 -03:00
Matías Aereal Aeón e902ce1aa0 Removing std:: from std::to_string and include for boost/lexical_cast 2018-08-08 11:26:30 -03:00
Matías Aereal Aeón 7dae58cbcc Replace boost:lexical_cast<std::string> for std::to_string. 2018-08-08 03:55:43 -03:00
Matías A. Ré Medina 5640eba382 Update isolate_tests to use simple quotes consistently.
The previous code had double quotes and the project uses simple quotes.
2018-07-09 11:28:34 +01:00
Matías A. Ré Medina 1ebeb7e588 Change isolate_tests to support single files as an input
On the documentation the examples for the usage of isolate_tests.py are shown with single files, and it's currently not working. It only works for folders or wildcards that return more than one file, since that's how os.walk works within a loop for that cases.

Proposed an simple and easy fix.

I extracted the core functionality for extracting tests from files, and made another function called `extract_and_write`
If the program receives a single file the function `extract_and_write` is called once, it even works for `docs` when specified.
If the program receives a path or a wildcard, works as used to.
2018-07-09 11:28:09 +01:00
Matías A. Ré Medina de78c816b5 Docs: Missing new line for markdown to display properly
Somehow on the last PR I sent about this section a newline disappeared, I added it again.
2018-07-04 20:23:14 -03:00
Matías Aereal Aeón 638ac15956 Adding AFL's alternative configuration with clang. 2018-06-27 11:02:27 -03:00
Matías A. Ré Medina 6e730df036 Fix: Missing payable at function forceOwnerChange
forceOwnerChange expects ether, and does not have the payable keyword.
2018-03-19 16:38:20 -03:00