#!/usr/bin/env python3

import hoare_logic

autograder = hoare_logic.program_conditions("conditions.txt")

# Question 1:

scope = {'num_list' : [1, 2, 3, 4, 5]}
autograder.check_conditions({},scope)

# Question 2:

scope = {'num_list' : [1, 2, 3, 4, 5]}
autograder.check_conditions({},scope)

# Question 3:

scope = {'num_list' : [1, 2, 3, 4, 5]}
autograder.check_conditions({},scope)

autograder.program_end({},scope)
