cours: quelques corrections

fiches/2_utiliser_nix_pour_les_cours.md

@@ -13,7 +13,7 @@ On a vu au premier cours comment avoir NixOS, il est tout à fait possible de se
 
 ## Comment utiliser Nix dans ce cours?
 
-On utilisera <https://direnv.net/> que vous pouvez installer avec Nix en faisant `nix-env -iA nixpkgs.direnv` par exemple.
+On utilisera <https://direnv.net/> que vous pouvez installer avec Nix en faisant `nix-env -iA nixpkgs.direnv` (sous les distributions non-NixOS) ou `nix-env -iA nixos.direnv` (sous NixOS) par exemple
 
 Il faudra ensuite le configurer pour votre shell: <https://direnv.net/docs/hook.html>
 

illustrations/1_tester/test_intelligents.py

@@ -1,16 +1,21 @@
 from hypothesis import given
 from hypothesis.strategies import text
 
+# Run-length encoder
+# aaaaaaaaaaaaaaaaaaa bbbbbbbbbbbbbbbbbb ccccccccccccc ddddddddddddddd eeeeeeeeeeee
+# 19a 18b …
 def encode(input_string):
     count = 1
     prev = ''
     lst = []
+    if not input_string:
+        return ([], 0)
+
     for character in input_string:
         if character != prev:
             if prev:
                 entry = (prev,count)
                 lst.append(entry)
-                #print lst
             count = 1
             prev = character
         else:
@@ -32,4 +37,5 @@ def decode(lst):
 
 @given(text())
 def test_decode_inverts_encode(s):
-    assert decode(encode(s)) == s
+    lst, err = encode(s)
+    assert decode(lst) == s