Enable [noassert] for LRijkstra. The performance increase is about 10%.
|...||...||@@ -15,6 +15,9 @@|
|# Turn off assertions in some modules, where they are useful when debugging, but costly.|
|# Every module that is part of MenhirLib must be tagged as such.|
|# If you change this list, please also update the files LICENSE|
|# and GNUmakefile in the toplevel directory, and update the file|