Fix spell check and formatting check

FreeRTOS/Test/VeriFast/include/proof/list.h

@@ -56,7 +56,7 @@ typedef ssize_t BaseType_t;
 
 struct xLIST;
 
-struct xLIST_ITEM 
+struct xLIST_ITEM
 {
 	TickType_t xItemValue;
 	struct xLIST_ITEM * pxNext;

lexicon.txt

@@ -25,6 +25,7 @@ ahb
 aic
 aiec
 ajax
+al
 alpn
 alt
 altera
@@ -65,6 +66,7 @@ ast
 async
 atmega
 atmel
+atomicity
 auth
 authmode
 autodetected
@@ -146,6 +148,7 @@ bnumdescriptors
 bnumendpoints
 bo
 bod
+bool
 bootloader
 bootstrapcdn
 bp
@@ -173,8 +176,6 @@ busfault
 buttonisr
 bvic
 bytesreceived
-bytesreceived
-bytessent
 bytessent
 bytestorecv
 bytestosend
@@ -264,13 +265,13 @@ clienttoken
 cligetoutputbuffer
 clint
 cliprocesscommand
-cloudformation
 clk
 clkdiv
 clksel
 clockoffsetms
 clocksource
 closesession
+cloudformation
 cmac
 cmaxpower
 cmcnt
@@ -317,6 +318,7 @@ comtest
 comtestc
 comtx
 conclr
+concurrentqueue
 cond
 conf
 config
@@ -560,6 +562,7 @@ disturbe
 div
 dl
 dlab
+dls
 dly
 dma
 dns
@@ -649,6 +652,11 @@ endcond
 endian
 endieness
 endif
+endnext
+endnextval
+endprev
+endprevprev
+endprevval
 enoaction
 enoent
 enonsecure
@@ -747,6 +755,7 @@ fe
 february
 fec
 ferr
+ferreira
 ff
 ffconfigdev
 ffconfigmkdir
@@ -845,6 +854,7 @@ getstate
 getsubackstatuscodes
 gettopic
 gettopicstring
+gh
 gic
 gio
 giosetbit
@@ -941,6 +951,12 @@ idd
 ide
 idproductl
 idvendorl
+idx
+idxnext
+idxprev
+idxprevprev
+idxprevval
+idxval
 ie
 iec
 ier
@@ -1061,6 +1077,11 @@ isrt
 isrtriggeredtask
 isset
 itemlength
+iternext
+iternextnext
+iternextval
+iterprev
+iterval
 itesm
 itm
 itmc
@@ -1315,6 +1336,7 @@ misra
 mkd
 mkdir
 mmcr
+mnext
 mno
 mnos
 mosquitto
@@ -1374,6 +1396,7 @@ nano
 nblisten
 nbns
 ndhdfb
+ndprev
 nec
 negotitation
 netbios
@@ -1390,6 +1413,7 @@ nirq
 nist
 nmemb
 nmi
+nnext
 nnnn
 nographic
 noinline
@@ -1404,6 +1428,7 @@ notifynotified
 notifynotify
 notifytask
 notifyuint
+nprev
 ns
 nsc
 nscfunction
@@ -1433,13 +1458,15 @@ olimex
 onboard
 onboarding
 oneshot
+onext
 op
 opendns
 openflag
 openm
 openrtos
 opensession
 openssl
+oprev
 optimisation
 optimise
 optimised
@@ -2064,6 +2091,7 @@ pvctx
 pvincomingpublishcallbackcontext
 pvitemtoqueue
 pvoptionvalue
+pvowner
 pvparam
 pvparameters
 pvportfree
@@ -2089,6 +2117,7 @@ pxcommandcontext
 pxcommandinterpreter
 pxcommandtoregister
 pxconnectionsarray
+pxcontainer
 pxcontext
 pxctx
 pxcurrenttcb
@@ -2097,6 +2126,7 @@ pxdptr
 pxecdsacontext
 pxecparams
 pxecparamsptr
+pxeventlist
 pxexpiredtimer
 pxfilesize
 pxftpclient
@@ -2106,6 +2136,10 @@ pxincomingpacket
 pxincomingpublishcallback
 pxindex
 pxisrfunction
+pxitem
+pxitemtoremove
+pxitemtoremoveprevious
+pxiterator
 pxknownmessage
 pxlist
 pxmbedpkcontext
@@ -2115,6 +2149,7 @@ pxnetif
 pxnetworkbuffer
 pxnetworkcontext
 pxnetworkcredentials
+pxnewlistitem
 pxnewqueue
 pxnext
 pxopenedinterfacehandle
@@ -2134,6 +2169,7 @@ pxpacketinfo
 pxpathlen
 pxpkcslabelsptr
 pxport
+pxprevious
 pxpublishinfo
 pxqueue
 pxreadhandle
@@ -2169,6 +2205,7 @@ qemu
 qos
 queeu
 queuebuffer
+queuedefinition
 queuegenericcreate
 queuegenericcreatestatic
 queuegenericreset
@@ -2188,6 +2225,7 @@ queuesetpriority
 queuespacesavailable
 queuestorage
 queuesuspend
+queueunlocked
 ra
 rampz
 rand
@@ -2286,7 +2324,9 @@ rootca
 rootcasize
 rootdelay
 rootdispersion
+roundtrip
 rowley
+rptr
 rsa
 rsk
 rskrl
@@ -2321,6 +2361,7 @@ rxed
 rxen
 rxend
 rxfifolevel
+rxlock
 rxmode
 rxsetup
 rz
@@ -2504,6 +2545,7 @@ strintrx
 strlen
 struct
 structs
+sttt
 stxinterrupton
 stylesheet
 suback
@@ -2535,8 +2577,8 @@ systemgetwallclocktime
 systeminit
 systeminithook
 systemirqhandler
-systemtick
 systemstoreficrns
+systemtick
 systick
 systickdelay
 sz
@@ -2666,6 +2708,7 @@ txempty
 txen
 txend
 txfifolevel
+txlock
 txpktrdy
 txt
 tz
@@ -2718,6 +2761,7 @@ ucsharedmemoryn
 ucslaveaddress
 ucsrb
 ucsrc
+ucstaticallyallocated
 uctempbuffer
 ucthingnamelength
 ucxbrf
@@ -2946,6 +2990,7 @@ uxloopcount
 uxmaxcount
 uxmessageswaiting
 uxnewpriority
+uxnumberofitems
 uxnumbertocreate
 uxparameternumber
 uxpriority
@@ -2956,6 +3001,7 @@ uxqueuemessageswaiting
 uxqueuemessageswaitingfromisr
 uxqueuespacesavailable
 uxrand
+uxrecursivecallcount
 uxregtesterror
 uxreturned
 uxrxloops
@@ -2977,7 +3023,9 @@ uxtb
 uxtick
 uxtxstackbuffer
 uxvariabletoincrement
+val
 valdiate
+vals
 vanexampleisr
 vapplicationfpusafeirqhandler
 vapplicationftpreceivedhook
@@ -3166,6 +3214,7 @@ wiznet
 wmaxpacketsize
 wolfssl
 wpa
+wptr
 writefile
 ws
 www
@@ -3326,6 +3375,8 @@ xlen
 xlength
 xlentosend
 xlimitedincrementhandle
+xlist
+xlistend
 xlogtofile
 xlogtostdout
 xlogtoudp
@@ -3358,10 +3409,12 @@ xmutexholder
 xmutextodelete
 xnetworkbuffer
 xnetworkcontext
+xnext
 xnextbyte
 xnextchar
 xnextfreebyte
 xnextlength
+xnextnext
 xnextwaketime
 xnotifyarraytaskfromisr
 xntppacket
@@ -3379,6 +3432,7 @@ xopenportsarraylength
 xoptionlength
 xor
 xosel
+xoverflowcount
 xp
 xpar
 xparameternumber
@@ -3403,6 +3457,8 @@ xportregistercinterrupthandler
 xportsystickhandler
 xposition
 xpreparetasklists
+xprev
+xprevprev
 xprintqueue
 xprivatekeyhandleptr
 xprivatekeylength
@@ -3493,6 +3549,7 @@ xrtosticktimerinstance
 xrunindicator
 xrxdescriptors
 xrxtcbbuffer
+xs
 xscugic
 xsecondtimerhandler
 xsemaphore
@@ -3636,6 +3693,7 @@ xusb
 xusermodetaskbuffer
 xusermodetaskstack
 xvalue
+xvalueofinsertion
 xwaitindefinitely
 xwantedsize
 xwolfssl
@@ -3648,8 +3706,10 @@ xyieldpending
 xyieldrequired
 yrdkrl
 yrpbrl
+ys
 yyyy
 yyyymmddhhmmss
 zc
 zer
+zs
 zynq