Allan Odgaard 7ccd7add60 Use digittoint() instead of std::stoi() ...

Both because of performance and because the latter can throw an exception (although we check the input, so it should not happen with our use of the API).

2013-08-27 15:30:09 +02:00

..

src

Use digittoint() instead of std::stoi()

2013-08-27 15:30:09 +02:00

tests

Use new test system for a few frameworks

2013-02-22 15:55:28 +01:00

target

Use new test system for a few frameworks

2013-02-22 15:55:28 +01:00