Directory listing for /miniconda3/pkgs/pygments-2.20.0-py314h06a4308_0/info/test/tests/snippets/promela/

• do.txt
• dotted-assign.txt
• if.txt
• intruder.txt
• ltl.txt
• msg.txt
• skip.txt
• welfare.txt