.

allgraphs.py → Route_tlc_allgraphs.py

 #!/usr/bin/env python
-"""generate all connected graphs up to N nodes"""
+"""Verify Route.tla on all connected graphs up to N nodes"""
 
 from __future__ import print_function
 import sys