From 71e96b507a868cf370dd55ce3c160e4663e2dbb6 Mon Sep 17 00:00:00 2001 From: Raito Bezarius Date: Wed, 17 Jun 2020 18:52:07 +0200 Subject: [PATCH] cours: quelques corrections --- fiches/2_utiliser_nix_pour_les_cours.md | 2 +- illustrations/1_tester/test_intelligents.py | 10 ++++++++-- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/fiches/2_utiliser_nix_pour_les_cours.md b/fiches/2_utiliser_nix_pour_les_cours.md index c9be2d6..25826bf 100644 --- a/fiches/2_utiliser_nix_pour_les_cours.md +++ b/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 que vous pouvez installer avec Nix en faisant `nix-env -iA nixpkgs.direnv` par exemple. +On utilisera 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: diff --git a/illustrations/1_tester/test_intelligents.py b/illustrations/1_tester/test_intelligents.py index 66dfd01..7f3ce53 100644 --- a/illustrations/1_tester/test_intelligents.py +++ b/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