#!/usr/bin/env python3

import hoare_logic

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

# Question 1:

scope = {'proper_noun' : "arizona"}
autograder.check_conditions({},scope)

scope['proper_noun'] = "Arizona"
autograder.check_conditions({},scope)

# Question 2:

scope['hello_goodbye'] = "Hello world!"
autograder.check_conditions({},scope)

scope['hello_goodbye'] = "Goodbye world!"
autograder.check_conditions({},scope)

# Question 3:

scope['foods'] = "Apples Bananas Oranges Pears"
autograder.check_conditions({},scope)

scope['food_list'] = ['Apples', 'Bananas', 'Oranges', 'Pears']
autograder.check_conditions({},scope)

# Question 4:

scope['pangram'] = "The quick brown fox jumps over the lazy dog"
autograder.check_conditions({},scope)

scope['animal1'] = -1
scope['animal2'] = -1
autograder.check_conditions({},scope)

autograder.program_end({},scope)
