fix repo's url in docker images

docker/altarica-base.docker

@@ -14,7 +14,7 @@ RUN apt-get update && \
       net-tools iputils-ping
 
 RUN cd /usr/local/src && \
-    git clone https://git.renater.fr/anonscm/git/arc/arc.git && \
+    git clone https://gitub.u-bordeaux.fr/altarica/arc.git && \
     cd arc && ./bootstrap.sh
 
 RUN cd /usr/local/src/arc && \

tests/lustre/l2a/followed_by.oc.bak

-oc5:
-module: followed_by
-
-signals: 2
-   0: input:x - single:1 bool:0
-   1: output:y - single:4
-end: 
-
-variables: 6
-   0: $0
-   1: $1
-   2: $1
-   3: $1
-   4: $1
-   5: $1
-end: 
-
-actions: 9==> /tmp/ec2oc3623_0act <==
-   4: call:$1 (3) (#0)
-   5: call:$1 (5) (1)
-   6: call:$1 (4) (2)
-   7: call:$1 (2) (3)
-   8: call:$1 (3) (5)
-end:
-
-states: 2
-startpoint: 0
-calls: 12
-0:  2 1 3 4 5 <1> 
-
-1:  6 1 7 8 5 <1> 
-
-end:
-
-endmodule:
\ No newline at end of file