CC3200 ADC Inputs

I tried the ADC input designations from the Energia tutorial. There, AD0 and so on is used. Would not compile because AD0 not defined.

Then I substituted pin 2 like this:

int AD0 = analogRead(2); Serial.print(AD0); Serial.print(" ");

and it works.

But, if I follow that directly with

int AD1 = analogRead(6); Serial.print(AD1); Serial.print(" ");

AD0 stops working.

If I read pin 6 (AD1) alone, it works.

Anybody puzzled this out?

Is the CC3200 library slated to have ADC input pins named?

Which are the ADC input pins? 2,6,23,24,25,26 ?

I do very much like the idea of using Energia on this board, but it does not appear to be fully functional.

Any comments?