So the car was the clean environmental alternative to a horse and buggy.

That's an open buggy. It doesn't have heating.

In 1845, Americans traveled by horse and buggy.

The horse and buggy is now definitely out of date.

So here we are back to the horse and buggy.

On the buggy code we get 1, 1, 1, 1.

I will also tell you we're at least as buggy.

The question is is code that is well tested less buggy?

This buggy belongs to a guy named Haskell. That's not you, mister.

Here again, we have a buggy function and now let's conduct the experiment.

This might result in a corrupt copy if the source was mastered with buggy software.

I came all the way from the farm in the buggy and didn't fall off.

Car 12. Car 12.

The car. Where's your car?

Car colors, exterior car colors

Car 7, over. Car 7.

Car 6. Calling car 6, come in, please. Car 6.

Car

Let's first try this out on the buggy version and let's see whether Pex can find the bug.

So to test this crazy idea, we developed a small dune buggy prototype vehicle to test the feasibility.

The car of tomorrow The car of tomorrow The car of tomorrow

Control calling Car 5, calling Car 5.

Cisco Car

Car Phone

( car stalling )

Police car.

The car.

(Car engine)

The car!

This car.

The car!

His car was blue. Her car was red.

This car is as big as that car.

Car 6. Calling car 6. Come in, please.

That's a non car, that's a non car .

Car 6, calling Control. Car 6, calling Control.

Get outta the car. Get outta the car.

Now let's apply assertions to another program, an old favorite of ours our buggy HTML stripper from the first unit.

He has a new car and an old car.

Was he in the car or by the car?

It's not a good car, but it's a car.

This car was selected the car of the year .

Just try to drive your car without car insurance !

Here's a Google self driving car. Here's another car.

The assertion has failed, and the assertion fails precisely on our buggy input, double quote followed by a less than sign.