eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

Unnamed repository; edit this file 'description' to name the repository.

git clone https://hacktivis.me/git/mirror/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee.git

e.smv (115B)


MODULE e
  VAR
    e : { e };
  ASSIGN
    init(e) := e;
    next(e) := e;
    esac;
  SPEC AG ( TRUE -> AF e = e)