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

Update testing system for text framework

2013-07-26 13:53:58 +02:00

target

Update testing system for text framework

2013-07-26 13:53:58 +02:00