Skip to content

GitLab

Commit 59376c20 authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Added traces

parent b30a37be
Hide whitespace changes
Inline Side-by-side
resources/traces/ra_example 0 → 100644
View file @ 59376c20
0 register(0) login(0) register(1) logout(1) login(2) register(0)
0 logout(0) logout(0) logout(0) logout(1) logout(1) logout(1)
0 logout(0) login(1) register(2)
0 login(0) logout(1) logout(1) login(1) login(1)
0 logout(0) login(1)
1 register(0)
0 logout(0) login(0)
0 logout(0) login(1) logout(1) logout(0)
0 login(0) login(1) logout(1) register(1) logout(2) register(0)
0 login(0) register(1)
0 logout(0) register(1) register(0) logout(1) logout(0) logout(1) logout(2)
0 logout(0) register(0)
0 login(0) login(1) logout(1) register(0) register(0) login(0)
0 logout(0) login(0) register(1) login(1) logout(2) login(2) logout(2)
0 register(0) logout(0) logout(0)
0 logout(0) logout(0) logout(1) register(1)
0 register(0) logout(1)
0 logout(0) register(0) register(1) login(1) logout(2) login(2) login(0)
0 register(0) register(0)
0 register(0) login(0) login(1)
1 register(0) login(0) register(1)
0 register(0) register(1) register(1)
0 logout(0) logout(1) login(0) register(0) register(2) login(0) login(2)
0 login(0)
0 logout(0) logout(1) logout(0) logout(2)
0 logout(0) register(0) logout(0) logout(0) logout(1) register(1) register(1)
0 register(0) logout(1) logout(0)
1 register(0) login(0)
0 logout(0) logout(0) login(1) login(1) login(0) register(1) login(1)
0 register(0) register(1) register(0)
1 register(0) register(1)
0 register(0) logout(0)
0 logout(0) logout(0)
0 register(0) login(1) logout(0) login(2) logout(0) login(3) logout(2)
0 register(0) login(1)
0 logout(0) logout(1)
0 register(0) login(0) logout(1)
0 register(0) login(0) register(0) logout(0) register(1)
0 logout(0) logout(0) logout(1) login(1) logout(0)
0 register(0) login(0) logout(0) login(0) register(1) register(1)
0 register(0) register(1) login(2) register(2)
0 register(0) login(0) login(0)
0 register(0) register(0) register(1)
0 logout(0) logout(0) register(1) login(1)
0 logout(0) register(1) register(2) register(3)
1 register(0) register(1) register(2)
0 register(0) login(0) logout(0) register(1) login(2) register(3)
0 register(0) logout(0) register(0) register(1) login(2)
0 register(0) register(1) logout(1) login(1)
0 register(0) login(0) login(1) register(0)
0 register(0) register(1) login(1) logout(1) register(0) register(1)
0 register(0) register(1) login(1) logout(1) register(0) register(1)
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment